(*
 * Copyright 2014, NICTA
 *
 * This software may be distributed and modified according to the terms of
 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
 * See "LICENSE_BSD2.txt" for details.
 *
 * @TAG(NICTA_BSD)
 *)

session "AutoCorresQuickstart" = "AutoCorres" +
  options [document = pdf, document_output = output, show_question_marks = false]
  theories
    Chapter1_MinMax
    Chapter2_HoareHeap
    Chapter3_HoareHeap
  files
    "mult_by_add.c"
    "minmax.c"
  document_files
    "root.tex"
    "root.bib"
    "comment.sty"
